321. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
322. Computer Integrated Manufacturing :
پدیدآورنده : edited by I. Burhan Turksen, Kiyoji Asai, Gunduz Ulusoy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1988
323. Computer Supported Collaborative Learning
پدیدآورنده : edited by Claire O'Malley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.
رده :
LB1028
.
5
E358
1995
324. Computer Systems Interaction-Human
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
325. Computer Vision:
پدیدآورنده : edited by Carme Torras.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
326. Computer Vision Based Deep Learning Models for Cyber Physical Systems
پدیدآورنده : Karim, Muhammad Monjurul
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Systems science
327. Computer Vision Based Deep Learning Models for Cyber Physical Systems
پدیدآورنده : Karim, Muhammad Monjurul
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Systems science
328. Computer Vision - ECCV'92 :
پدیدآورنده : edited by G. Sandini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
329. Computer Vision -- ECCV '96 :
پدیدآورنده : edited by Bernard Buxton, Roberto Cipolla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
330. Computer Vision -- ECCV '96 :
پدیدآورنده : edited by Bernard Buxton, Roberto Cipolla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
331. Computer Vision, Imaging and Computer Graphics Theory and Applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer vision. ; Computer science. ; Artificial intelligence. ; Image Processing and Computer Vision. ;
332. Computer Vision \U+2013\ ACCV 2009
پدیدآورنده : edited by Hongbin Zha, Rin-ichiro Taniguchi, Stephen Maybank.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Biometric identification.,Computer science.,Computer software.,Computer vision.,Optical pattern recognition.
333. Computer Vision \U+2013\ ACCV 2010
پدیدآورنده : edited by Ron Kimmel, Reinhard Klette, Akihiro Sugimoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.,Computer software.,Computer vision.,Optical pattern recognition.,Visualization.
334. Computer and Information Science 2015
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Congresses.,علوم کامپیوتر -- کنگرهها
رده :
QA
75
.
5
.
C6
2016
E-Book
,
335. Computer and information sciences :
پدیدآورنده : Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
336. Computer-assisted and robotic endoscopy : First International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected paper
پدیدآورنده : Xiongbiao Luo, Tobias Reichl, Daniel Mirota, Timothy Soper )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer-assisted surgery -- Congresses,، Artificial intelligence,، Computer graphics,، Computer science
رده :
TA
1634
.
X545
2014
337. Computer epistemology: A treatise on the feasibility of the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V3C6
338. Computer epistemology : a treatise on the feasibility of the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V255
1990
339. Computer epistemology : a treatise on the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V325
1991